Now the rest of the acts of Jotham, and all that he did, [are] they not written in the book of the chronicles of the kings of Judah?